import greenfoot.*;  // (World, Actor, GreenfootImage, Greenfoot and MouseInfo)

/**
 * Write a description of class Mundo here.
 * 
 * @author (your name) 
 * @version (a version number or a date)
 */
public abstract class Mundo extends World
{

    /**
     * Constructor for objects of class Mundo.
     * 
     */
    public Mundo(int x,int y,int p,boolean ab)
    {    
        
        super(x, y,p,ab); 
    }
    
    public abstract Cartman getCartman();
}
